node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
link(1,3) :- #0.381.
link(3,1) :- #0.931.
link(1,26) :- #0.233.
link(26,1) :- #0.648.
link(1,38) :- #0.039.
link(38,1) :- #0.851.
link(1,42) :- #0.192.
link(42,1) :- #0.445.
link(1,45) :- #0.883.
link(45,1) :- #0.28.
link(1,48) :- #0.164.
link(48,1) :- #0.648.
link(1,58) :- #0.06.
link(58,1) :- #0.948.
link(1,61) :- #0.625.
link(61,1) :- #0.622.
link(1,63) :- #0.338.
link(63,1) :- #0.472.
link(1,64) :- #0.103.
link(64,1) :- #0.15.
link(1,83) :- #0.231.
link(83,1) :- #0.627.
link(1,90) :- #0.09.
link(90,1) :- #0.61.
link(1,93) :- #0.596.
link(93,1) :- #0.997.
link(1,97) :- #0.279.
link(97,1) :- #0.168.
link(1,102) :- #0.821.
link(102,1) :- #0.851.
link(1,109) :- #0.778.
link(109,1) :- #0.503.
link(2,5) :- #0.898.
link(5,2) :- #0.906.
link(2,18) :- #0.418.
link(18,2) :- #0.817.
link(2,19) :- #0.888.
link(19,2) :- #0.894.
link(2,20) :- #0.56.
link(20,2) :- #0.617.
link(2,21) :- #0.286.
link(21,2) :- #0.285.
link(2,37) :- #0.26.
link(37,2) :- #0.692.
link(2,44) :- #0.52.
link(44,2) :- #0.655.
link(2,51) :- #0.458.
link(51,2) :- #0.44.
link(2,64) :- #0.375.
link(64,2) :- #0.089.
link(2,71) :- #0.023.
link(71,2) :- #0.665.
link(2,86) :- #0.487.
link(86,2) :- #0.026.
link(2,87) :- #0.489.
link(87,2) :- #0.573.
link(2,94) :- #0.55.
link(94,2) :- #0.296.
link(2,111) :- #0.618.
link(111,2) :- #0.038.
link(2,123) :- #0.535.
link(123,2) :- #0.03.
link(2,124) :- #0.326.
link(124,2) :- #0.702.
link(3,25) :- #0.726.
link(25,3) :- #0.094.
link(3,27) :- #0.03.
link(27,3) :- #0.725.
link(3,29) :- #0.656.
link(29,3) :- #0.717.
link(3,46) :- #0.109.
link(46,3) :- #0.487.
link(3,52) :- #0.166.
link(52,3) :- #0.802.
link(3,70) :- #0.617.
link(70,3) :- #0.333.
link(3,75) :- #0.668.
link(75,3) :- #0.856.
link(3,106) :- #0.723.
link(106,3) :- #0.171.
link(3,112) :- #0.76.
link(112,3) :- #0.556.
link(3,116) :- #0.027.
link(116,3) :- #0.857.
link(3,118) :- #0.352.
link(118,3) :- #0.225.
link(4,5) :- #0.057.
link(5,4) :- #0.594.
link(4,10) :- #0.337.
link(10,4) :- #0.352.
link(4,37) :- #0.077.
link(37,4) :- #0.927.
link(4,41) :- #0.214.
link(41,4) :- #0.967.
link(4,43) :- #0.057.
link(43,4) :- #0.256.
link(4,49) :- #0.293.
link(49,4) :- #0.9.
link(4,54) :- #0.179.
link(54,4) :- #0.449.
link(4,64) :- #0.661.
link(64,4) :- #0.773.
link(4,68) :- #0.885.
link(68,4) :- #0.059.
link(4,73) :- #0.809.
link(73,4) :- #0.879.
link(4,76) :- #0.889.
link(76,4) :- #0.824.
link(4,78) :- #0.001.
link(78,4) :- #0.891.
link(4,87) :- #0.127.
link(87,4) :- #0.348.
link(4,92) :- #0.441.
link(92,4) :- #0.635.
link(4,95) :- #0.677.
link(95,4) :- #0.81.
link(4,97) :- #0.231.
link(97,4) :- #0.834.
link(5,11) :- #0.79.
link(11,5) :- #0.93.
link(5,29) :- #0.689.
link(29,5) :- #0.019.
link(5,62) :- #0.328.
link(62,5) :- #0.565.
link(5,65) :- #0.008.
link(65,5) :- #0.421.
link(5,105) :- #0.769.
link(105,5) :- #0.808.
link(5,117) :- #0.462.
link(117,5) :- #0.098.
link(5,118) :- #0.243.
link(118,5) :- #0.333.
link(6,10) :- #0.546.
link(10,6) :- #0.269.
link(6,31) :- #0.587.
link(31,6) :- #0.475.
link(6,47) :- #0.985.
link(47,6) :- #0.701.
link(6,52) :- #0.487.
link(52,6) :- #0.748.
link(6,55) :- #0.434.
link(55,6) :- #0.128.
link(6,75) :- #0.464.
link(75,6) :- #0.75.
link(6,88) :- #0.83.
link(88,6) :- #0.33.
link(6,96) :- #0.647.
link(96,6) :- #0.745.
link(6,102) :- #0.557.
link(102,6) :- #0.544.
link(6,112) :- #0.186.
link(112,6) :- #0.288.
link(6,118) :- #0.192.
link(118,6) :- #0.786.
link(7,10) :- #0.427.
link(10,7) :- #0.639.
link(7,30) :- #0.316.
link(30,7) :- #0.147.
link(7,36) :- #0.826.
link(36,7) :- #0.121.
link(7,42) :- #0.467.
link(42,7) :- #0.981.
link(7,43) :- #0.445.
link(43,7) :- #0.997.
link(7,44) :- #0.389.
link(44,7) :- #0.496.
link(7,49) :- #0.107.
link(49,7) :- #0.781.
link(7,65) :- #0.464.
link(65,7) :- #0.779.
link(7,67) :- #0.87.
link(67,7) :- #0.559.
link(7,77) :- #0.075.
link(77,7) :- #0.851.
link(7,81) :- #0.075.
link(81,7) :- #0.834.
link(7,102) :- #0.305.
link(102,7) :- #0.409.
link(7,122) :- #0.391.
link(122,7) :- #0.625.
link(8,22) :- #0.125.
link(22,8) :- #0.367.
link(8,25) :- #0.784.
link(25,8) :- #0.952.
link(8,28) :- #0.176.
link(28,8) :- #0.916.
link(8,61) :- #0.505.
link(61,8) :- #0.978.
link(8,62) :- #0.595.
link(62,8) :- #0.25.
link(8,77) :- #0.931.
link(77,8) :- #0.945.
link(8,89) :- #0.61.
link(89,8) :- #0.385.
link(8,98) :- #0.236.
link(98,8) :- #0.643.
link(8,100) :- #0.896.
link(100,8) :- #0.094.
link(8,113) :- #0.69.
link(113,8) :- #0.551.
link(8,115) :- #0.923.
link(115,8) :- #0.153.
link(9,27) :- #0.266.
link(27,9) :- #0.534.
link(9,29) :- #0.699.
link(29,9) :- #0.213.
link(9,33) :- #0.545.
link(33,9) :- #0.154.
link(9,35) :- #0.735.
link(35,9) :- #0.059.
link(9,47) :- #0.861.
link(47,9) :- #0.283.
link(9,58) :- #0.769.
link(58,9) :- #0.052.
link(9,71) :- #0.559.
link(71,9) :- #0.023.
link(9,72) :- #0.266.
link(72,9) :- #0.835.
link(9,92) :- #0.135.
link(92,9) :- #0.39.
link(9,103) :- #0.133.
link(103,9) :- #0.867.
link(9,116) :- #0.375.
link(116,9) :- #0.101.
link(9,118) :- #0.236.
link(118,9) :- #0.101.
link(10,17) :- #0.969.
link(17,10) :- #0.145.
link(10,38) :- #0.175.
link(38,10) :- #0.756.
link(10,61) :- #0.197.
link(61,10) :- #0.861.
link(10,73) :- #0.755.
link(73,10) :- #0.098.
link(10,78) :- #0.32.
link(78,10) :- #0.636.
link(10,80) :- #0.433.
link(80,10) :- #0.761.
link(10,84) :- #0.145.
link(84,10) :- #0.244.
link(10,89) :- #0.523.
link(89,10) :- #0.173.
link(10,93) :- #0.77.
link(93,10) :- #0.589.
link(10,103) :- #0.858.
link(103,10) :- #0.205.
link(10,109) :- #0.689.
link(109,10) :- #0.248.
link(10,118) :- #0.066.
link(118,10) :- #0.271.
link(11,16) :- #0.885.
link(16,11) :- #0.674.
link(11,44) :- #0.271.
link(44,11) :- #0.654.
link(11,56) :- #0.287.
link(56,11) :- #0.293.
link(11,59) :- #0.47.
link(59,11) :- #0.152.
link(11,77) :- #0.384.
link(77,11) :- #0.413.
link(11,83) :- #0.59.
link(83,11) :- #0.882.
link(11,93) :- #0.989.
link(93,11) :- #0.105.
link(11,107) :- #0.26.
link(107,11) :- #0.828.
link(11,117) :- #0.162.
link(117,11) :- #0.78.
link(12,21) :- #0.153.
link(21,12) :- #0.017.
link(12,52) :- #0.505.
link(52,12) :- #0.477.
link(12,63) :- #0.666.
link(63,12) :- #0.754.
link(12,64) :- #0.915.
link(64,12) :- #0.153.
link(12,67) :- #0.133.
link(67,12) :- #0.595.
link(12,86) :- #0.179.
link(86,12) :- #0.949.
link(12,91) :- #0.496.
link(91,12) :- #0.658.
link(12,93) :- #0.532.
link(93,12) :- #0.278.
link(12,115) :- #0.589.
link(115,12) :- #0.595.
link(13,17) :- #0.361.
link(17,13) :- #0.136.
link(13,23) :- #0.226.
link(23,13) :- #0.466.
link(13,48) :- #0.39.
link(48,13) :- #0.557.
link(13,55) :- #0.199.
link(55,13) :- #0.664.
link(13,57) :- #0.92.
link(57,13) :- #0.158.
link(13,68) :- #0.741.
link(68,13) :- #0.711.
link(13,78) :- #0.404.
link(78,13) :- #0.022.
link(13,95) :- #0.078.
link(95,13) :- #0.637.
link(14,19) :- #0.024.
link(19,14) :- #0.393.
link(14,38) :- #0.34.
link(38,14) :- #0.963.
link(14,62) :- #0.045.
link(62,14) :- #0.062.
link(14,76) :- #0.375.
link(76,14) :- #0.152.
link(14,80) :- #0.848.
link(80,14) :- #0.552.
link(14,81) :- #0.265.
link(81,14) :- #0.281.
link(14,83) :- #0.469.
link(83,14) :- #0.127.
link(14,88) :- #0.545.
link(88,14) :- #0.627.
link(14,105) :- #0.579.
link(105,14) :- #0.914.
link(14,110) :- #0.99.
link(110,14) :- #0.408.
link(14,124) :- #0.641.
link(124,14) :- #0.328.
link(15,22) :- #0.277.
link(22,15) :- #0.123.
link(15,40) :- #0.95.
link(40,15) :- #0.393.
link(15,42) :- #0.992.
link(42,15) :- #0.482.
link(15,49) :- #0.569.
link(49,15) :- #0.143.
link(15,59) :- #0.076.
link(59,15) :- #0.629.
link(15,61) :- #0.53.
link(61,15) :- #0.005.
link(15,69) :- #0.501.
link(69,15) :- #0.287.
link(15,73) :- #0.78.
link(73,15) :- #0.155.
link(15,76) :- #0.4.
link(76,15) :- #0.157.
link(15,84) :- #0.183.
link(84,15) :- #0.208.
link(15,104) :- #0.995.
link(104,15) :- #0.686.
link(15,111) :- #0.767.
link(111,15) :- #0.105.
link(15,112) :- #0.072.
link(112,15) :- #0.58.
link(15,117) :- #0.418.
link(117,15) :- #0.554.
link(15,121) :- #0.864.
link(121,15) :- #0.713.
link(16,19) :- #0.426.
link(19,16) :- #0.344.
link(16,46) :- #0.414.
link(46,16) :- #0.575.
link(16,49) :- #0.859.
link(49,16) :- #0.039.
link(16,60) :- #0.681.
link(60,16) :- #0.966.
link(16,66) :- #0.431.
link(66,16) :- #0.158.
link(16,72) :- #0.181.
link(72,16) :- #0.139.
link(16,82) :- #0.663.
link(82,16) :- #0.573.
link(16,99) :- #0.001.
link(99,16) :- #0.334.
link(16,113) :- #0.084.
link(113,16) :- #0.324.
link(16,114) :- #0.892.
link(114,16) :- #0.122.
link(16,115) :- #0.555.
link(115,16) :- #0.02.
link(17,21) :- #0.488.
link(21,17) :- #0.834.
link(17,33) :- #0.435.
link(33,17) :- #0.7.
link(17,38) :- #0.631.
link(38,17) :- #0.933.
link(17,53) :- #0.052.
link(53,17) :- #0.331.
link(17,70) :- #0.39.
link(70,17) :- #0.277.
link(17,75) :- #0.351.
link(75,17) :- #0.603.
link(17,89) :- #0.703.
link(89,17) :- #0.053.
link(17,121) :- #0.588.
link(121,17) :- #0.393.
link(18,21) :- #0.12.
link(21,18) :- #0.796.
link(18,28) :- #0.796.
link(28,18) :- #0.225.
link(18,31) :- #0.81.
link(31,18) :- #0.303.
link(18,33) :- #0.507.
link(33,18) :- #0.355.
link(18,35) :- #0.739.
link(35,18) :- #0.765.
link(18,49) :- #0.785.
link(49,18) :- #0.365.
link(18,59) :- #0.566.
link(59,18) :- #0.867.
link(18,64) :- #0.297.
link(64,18) :- #0.358.
link(18,66) :- #0.637.
link(66,18) :- #0.519.
link(18,82) :- #0.338.
link(82,18) :- #0.312.
link(18,88) :- #0.226.
link(88,18) :- #0.891.
link(18,94) :- #0.028.
link(94,18) :- #0.782.
link(18,97) :- #0.631.
link(97,18) :- #0.343.
link(19,24) :- #0.319.
link(24,19) :- #0.782.
link(19,32) :- #0.501.
link(32,19) :- #0.155.
link(19,47) :- #0.682.
link(47,19) :- #0.371.
link(19,61) :- #0.944.
link(61,19) :- #0.645.
link(19,63) :- #0.201.
link(63,19) :- #0.465.
link(19,74) :- #0.191.
link(74,19) :- #0.67.
link(19,79) :- #0.955.
link(79,19) :- #0.826.
link(19,85) :- #0.308.
link(85,19) :- #0.848.
link(19,95) :- #0.647.
link(95,19) :- #0.85.
link(19,114) :- #0.16.
link(114,19) :- #0.276.
link(20,24) :- #0.144.
link(24,20) :- #0.779.
link(20,26) :- #0.481.
link(26,20) :- #0.531.
link(20,48) :- #0.299.
link(48,20) :- #0.713.
link(20,55) :- #0.866.
link(55,20) :- #0.27.
link(20,68) :- #0.948.
link(68,20) :- #0.36.
link(20,70) :- #0.033.
link(70,20) :- #0.556.
link(20,73) :- #0.321.
link(73,20) :- #0.82.
link(20,84) :- #0.282.
link(84,20) :- #0.847.
link(20,95) :- #0.357.
link(95,20) :- #0.917.
link(20,96) :- #0.17.
link(96,20) :- #0.457.
link(20,112) :- #0.037.
link(112,20) :- #0.199.
link(21,23) :- #0.498.
link(23,21) :- #0.682.
link(21,30) :- #0.318.
link(30,21) :- #0.871.
link(21,34) :- #0.687.
link(34,21) :- #0.145.
link(21,53) :- #0.494.
link(53,21) :- #0.543.
link(21,63) :- #0.762.
link(63,21) :- #0.26.
link(21,65) :- #0.543.
link(65,21) :- #0.044.
link(21,73) :- #0.905.
link(73,21) :- #0.079.
link(21,74) :- #0.88.
link(74,21) :- #0.173.
link(21,75) :- #0.996.
link(75,21) :- #0.708.
link(21,81) :- #0.626.
link(81,21) :- #0.293.
link(21,89) :- #0.553.
link(89,21) :- #0.401.
link(21,92) :- #0.521.
link(92,21) :- #0.285.
link(21,96) :- #0.064.
link(96,21) :- #0.702.
link(21,105) :- #0.666.
link(105,21) :- #0.752.
link(21,106) :- #0.159.
link(106,21) :- #0.177.
link(21,108) :- #0.606.
link(108,21) :- #0.089.
link(21,110) :- #0.189.
link(110,21) :- #0.732.
link(22,31) :- #0.664.
link(31,22) :- #0.457.
link(22,36) :- #0.432.
link(36,22) :- #0.822.
link(22,46) :- #0.885.
link(46,22) :- #0.846.
link(22,52) :- #0.972.
link(52,22) :- #0.401.
link(22,58) :- #0.316.
link(58,22) :- #0.725.
link(22,70) :- #0.484.
link(70,22) :- #0.963.
link(22,71) :- #0.326.
link(71,22) :- #0.75.
link(22,83) :- #0.377.
link(83,22) :- #0.685.
link(22,105) :- #0.242.
link(105,22) :- #0.184.
link(22,111) :- #0.549.
link(111,22) :- #0.52.
link(22,117) :- #0.139.
link(117,22) :- #0.029.
link(22,120) :- #0.922.
link(120,22) :- #0.073.
link(23,24) :- #0.297.
link(24,23) :- #0.972.
link(23,34) :- #0.973.
link(34,23) :- #0.499.
link(23,42) :- #0.595.
link(42,23) :- #0.688.
link(23,45) :- #0.059.
link(45,23) :- #0.277.
link(23,46) :- #0.402.
link(46,23) :- #0.263.
link(23,49) :- #0.896.
link(49,23) :- #0.099.
link(23,68) :- #0.836.
link(68,23) :- #0.787.
link(23,69) :- #0.389.
link(69,23) :- #0.786.
link(23,72) :- #0.199.
link(72,23) :- #0.922.
link(23,77) :- #0.975.
link(77,23) :- #0.006.
link(23,90) :- #0.202.
link(90,23) :- #0.228.
link(23,92) :- #0.924.
link(92,23) :- #0.863.
link(23,96) :- #0.974.
link(96,23) :- #0.814.
link(23,106) :- #0.954.
link(106,23) :- #0.406.
link(23,125) :- #0.643.
link(125,23) :- #0.623.
link(24,34) :- #0.084.
link(34,24) :- #0.721.
link(24,56) :- #0.465.
link(56,24) :- #0.998.
link(24,73) :- #0.62.
link(73,24) :- #0.1.
link(24,81) :- #0.479.
link(81,24) :- #0.908.
link(24,86) :- #0.493.
link(86,24) :- #0.527.
link(24,93) :- #0.6.
link(93,24) :- #0.801.
link(24,114) :- #0.969.
link(114,24) :- #0.317.
link(24,117) :- #0.1.
link(117,24) :- #0.032.
link(24,121) :- #0.935.
link(121,24) :- #0.545.
link(25,27) :- #0.729.
link(27,25) :- #0.567.
link(25,31) :- #0.947.
link(31,25) :- #0.233.
link(25,38) :- #0.19.
link(38,25) :- #0.228.
link(25,40) :- #0.004.
link(40,25) :- #0.241.
link(25,51) :- #0.632.
link(51,25) :- #0.687.
link(25,68) :- #0.204.
link(68,25) :- #0.977.
link(25,77) :- #0.736.
link(77,25) :- #0.086.
link(25,80) :- #0.102.
link(80,25) :- #0.377.
link(25,90) :- #0.432.
link(90,25) :- #0.368.
link(25,99) :- #0.698.
link(99,25) :- #0.891.
link(25,107) :- #0.355.
link(107,25) :- #0.888.
link(25,111) :- #0.426.
link(111,25) :- #0.193.
link(25,112) :- #0.547.
link(112,25) :- #0.496.
link(26,29) :- #0.837.
link(29,26) :- #0.14.
link(26,32) :- #0.488.
link(32,26) :- #0.445.
link(26,34) :- #0.508.
link(34,26) :- #0.565.
link(26,61) :- #0.008.
link(61,26) :- #0.831.
link(26,63) :- #0.062.
link(63,26) :- #0.31.
link(26,67) :- #0.573.
link(67,26) :- #0.973.
link(26,70) :- #0.689.
link(70,26) :- #0.629.
link(26,106) :- #0.768.
link(106,26) :- #0.779.
link(26,120) :- #0.449.
link(120,26) :- #0.53.
link(26,122) :- #0.643.
link(122,26) :- #0.39.
link(27,30) :- #0.618.
link(30,27) :- #0.743.
link(27,61) :- #0.132.
link(61,27) :- #0.881.
link(27,71) :- #0.937.
link(71,27) :- #0.769.
link(27,80) :- #0.691.
link(80,27) :- #0.78.
link(27,97) :- #0.517.
link(97,27) :- #0.809.
link(27,107) :- #0.046.
link(107,27) :- #0.242.
link(27,110) :- #0.256.
link(110,27) :- #0.385.
link(27,123) :- #0.75.
link(123,27) :- #0.672.
link(28,33) :- #0.472.
link(33,28) :- #0.904.
link(28,38) :- #0.823.
link(38,28) :- #0.13.
link(28,51) :- #0.497.
link(51,28) :- #0.731.
link(28,52) :- #0.887.
link(52,28) :- #0.21.
link(28,57) :- #0.465.
link(57,28) :- #0.932.
link(28,78) :- #0.781.
link(78,28) :- #0.029.
link(28,89) :- #0.525.
link(89,28) :- #0.574.
link(28,93) :- #0.207.
link(93,28) :- #0.255.
link(28,95) :- #0.195.
link(95,28) :- #0.441.
link(28,124) :- #0.411.
link(124,28) :- #0.582.
link(29,32) :- #0.125.
link(32,29) :- #0.369.
link(29,45) :- #0.511.
link(45,29) :- #0.942.
link(29,51) :- #0.021.
link(51,29) :- #0.11.
link(29,67) :- #0.949.
link(67,29) :- #0.936.
link(29,109) :- #0.848.
link(109,29) :- #0.982.
link(29,111) :- #0.501.
link(111,29) :- #0.268.
link(29,122) :- #0.474.
link(122,29) :- #0.399.
link(29,123) :- #0.632.
link(123,29) :- #0.219.
link(30,37) :- #0.008.
link(37,30) :- #0.267.
link(30,52) :- #0.256.
link(52,30) :- #0.801.
link(30,55) :- #0.901.
link(55,30) :- #0.759.
link(30,69) :- #0.507.
link(69,30) :- #0.034.
link(30,70) :- #0.195.
link(70,30) :- #0.036.
link(30,97) :- #0.272.
link(97,30) :- #0.728.
link(30,109) :- #0.748.
link(109,30) :- #0.397.
link(31,50) :- #0.386.
link(50,31) :- #0.108.
link(31,68) :- #0.941.
link(68,31) :- #0.325.
link(31,76) :- #0.5.
link(76,31) :- #0.042.
link(31,112) :- #0.877.
link(112,31) :- #0.988.
link(31,117) :- #0.434.
link(117,31) :- #0.477.
link(31,121) :- #0.922.
link(121,31) :- #0.56.
link(31,123) :- #0.7.
link(123,31) :- #0.856.
link(31,124) :- #0.094.
link(124,31) :- #0.953.
link(32,36) :- #0.911.
link(36,32) :- #0.9.
link(32,56) :- #0.15.
link(56,32) :- #0.159.
link(32,58) :- #0.896.
link(58,32) :- #0.466.
link(32,59) :- #0.775.
link(59,32) :- #0.844.
link(32,66) :- #0.801.
link(66,32) :- #0.48.
link(32,99) :- #0.169.
link(99,32) :- #0.354.
link(32,110) :- #0.881.
link(110,32) :- #0.048.
link(32,118) :- #0.043.
link(118,32) :- #0.172.
link(32,125) :- #0.406.
link(125,32) :- #0.864.
link(33,37) :- #0.175.
link(37,33) :- #0.529.
link(33,43) :- #0.537.
link(43,33) :- #0.572.
link(33,83) :- #0.492.
link(83,33) :- #0.507.
link(33,84) :- #0.51.
link(84,33) :- #0.741.
link(33,94) :- #0.307.
link(94,33) :- #0.164.
link(33,111) :- #0.182.
link(111,33) :- #0.82.
link(33,125) :- #0.829.
link(125,33) :- #0.03.
link(34,68) :- #0.365.
link(68,34) :- #0.811.
link(34,88) :- #0.124.
link(88,34) :- #0.573.
link(34,93) :- #0.297.
link(93,34) :- #0.188.
link(34,97) :- #0.151.
link(97,34) :- #0.78.
link(34,99) :- #0.602.
link(99,34) :- #0.79.
link(34,103) :- #0.382.
link(103,34) :- #0.948.
link(34,105) :- #0.763.
link(105,34) :- #0.293.
link(34,109) :- #0.785.
link(109,34) :- #0.729.
link(34,122) :- #0.138.
link(122,34) :- #0.562.
link(35,58) :- #0.839.
link(58,35) :- #0.901.
link(35,75) :- #0.151.
link(75,35) :- #0.267.
link(35,85) :- #0.747.
link(85,35) :- #0.483.
link(35,92) :- #0.273.
link(92,35) :- #0.033.
link(35,96) :- #0.707.
link(96,35) :- #0.602.
link(35,100) :- #0.732.
link(100,35) :- #0.035.
link(35,103) :- #0.906.
link(103,35) :- #0.829.
link(35,105) :- #0.505.
link(105,35) :- #0.823.
link(35,108) :- #0.783.
link(108,35) :- #0.805.
link(35,110) :- #0.586.
link(110,35) :- #0.786.
link(35,121) :- #0.92.
link(121,35) :- #0.577.
link(36,43) :- #0.995.
link(43,36) :- #0.494.
link(36,64) :- #0.049.
link(64,36) :- #0.56.
link(36,66) :- #0.631.
link(66,36) :- #0.32.
link(36,79) :- #0.786.
link(79,36) :- #0.149.
link(36,80) :- #0.258.
link(80,36) :- #0.6.
link(36,82) :- #0.688.
link(82,36) :- #0.157.
link(36,83) :- #0.41.
link(83,36) :- #0.949.
link(36,86) :- #0.691.
link(86,36) :- #0.14.
link(36,87) :- #0.39.
link(87,36) :- #0.501.
link(36,88) :- #0.076.
link(88,36) :- #0.916.
link(36,92) :- #0.223.
link(92,36) :- #0.133.
link(36,93) :- #0.434.
link(93,36) :- #0.651.
link(36,103) :- #0.085.
link(103,36) :- #0.534.
link(36,105) :- #0.279.
link(105,36) :- #0.741.
link(36,123) :- #0.558.
link(123,36) :- #0.132.
link(37,42) :- #0.296.
link(42,37) :- #0.528.
link(37,82) :- #0.748.
link(82,37) :- #0.826.
link(37,125) :- #0.986.
link(125,37) :- #0.989.
link(38,59) :- #0.774.
link(59,38) :- #0.478.
link(38,69) :- #0.714.
link(69,38) :- #0.777.
link(38,70) :- #0.259.
link(70,38) :- #0.787.
link(38,76) :- #0.614.
link(76,38) :- #0.086.
link(38,78) :- #0.723.
link(78,38) :- #0.259.
link(38,87) :- #0.464.
link(87,38) :- #0.321.
link(38,97) :- #0.327.
link(97,38) :- #0.035.
link(38,101) :- #0.513.
link(101,38) :- #0.489.
link(38,107) :- #0.295.
link(107,38) :- #0.802.
link(38,118) :- #0.375.
link(118,38) :- #0.966.
link(39,49) :- #0.904.
link(49,39) :- #0.352.
link(39,60) :- #0.846.
link(60,39) :- #0.069.
link(39,74) :- #0.885.
link(74,39) :- #0.547.
link(39,89) :- #0.769.
link(89,39) :- #0.902.
link(39,96) :- #0.849.
link(96,39) :- #0.04.
link(39,101) :- #0.703.
link(101,39) :- #0.69.
link(39,106) :- #0.449.
link(106,39) :- #0.617.
link(39,112) :- #0.93.
link(112,39) :- #0.322.
link(40,52) :- #0.871.
link(52,40) :- #0.923.
link(40,55) :- #0.453.
link(55,40) :- #0.823.
link(40,61) :- #0.084.
link(61,40) :- #0.822.
link(40,69) :- #0.906.
link(69,40) :- #0.772.
link(40,86) :- #0.812.
link(86,40) :- #0.129.
link(40,100) :- #0.176.
link(100,40) :- #0.276.
link(40,103) :- #0.084.
link(103,40) :- #0.618.
link(40,125) :- #0.862.
link(125,40) :- #0.659.
link(41,42) :- #0.47.
link(42,41) :- #0.691.
link(41,45) :- #0.243.
link(45,41) :- #0.748.
link(41,52) :- #0.006.
link(52,41) :- #0.841.
link(41,63) :- #0.012.
link(63,41) :- #0.941.
link(41,70) :- #0.529.
link(70,41) :- #0.948.
link(41,73) :- #0.764.
link(73,41) :- #0.761.
link(41,88) :- #0.582.
link(88,41) :- #0.877.
link(41,107) :- #0.897.
link(107,41) :- #0.389.
link(41,113) :- #0.598.
link(113,41) :- #0.719.
link(42,67) :- #0.678.
link(67,42) :- #0.638.
link(42,95) :- #0.228.
link(95,42) :- #0.306.
link(42,97) :- #0.388.
link(97,42) :- #0.993.
link(42,114) :- #0.038.
link(114,42) :- #0.221.
link(42,117) :- #0.718.
link(117,42) :- #0.662.
link(43,45) :- #0.512.
link(45,43) :- #0.922.
link(43,50) :- #0.337.
link(50,43) :- #0.98.
link(43,54) :- #0.026.
link(54,43) :- #0.746.
link(43,56) :- #0.327.
link(56,43) :- #0.232.
link(43,61) :- #0.185.
link(61,43) :- #0.524.
link(43,63) :- #0.249.
link(63,43) :- #0.682.
link(43,78) :- #0.267.
link(78,43) :- #0.183.
link(43,86) :- #0.917.
link(86,43) :- #0.806.
link(43,95) :- #0.259.
link(95,43) :- #0.766.
link(43,99) :- #0.68.
link(99,43) :- #0.957.
link(43,118) :- #0.86.
link(118,43) :- #0.57.
link(43,122) :- #0.486.
link(122,43) :- #0.714.
link(44,45) :- #0.217.
link(45,44) :- #0.895.
link(44,48) :- #0.343.
link(48,44) :- #0.148.
link(44,70) :- #0.107.
link(70,44) :- #0.004.
link(44,76) :- #0.733.
link(76,44) :- #0.459.
link(44,83) :- #0.617.
link(83,44) :- #0.217.
link(44,85) :- #0.031.
link(85,44) :- #0.671.
link(44,89) :- #0.447.
link(89,44) :- #0.383.
link(44,97) :- #0.279.
link(97,44) :- #0.94.
link(44,102) :- #0.249.
link(102,44) :- #0.672.
link(44,109) :- #0.579.
link(109,44) :- #0.097.
link(44,111) :- #0.29.
link(111,44) :- #0.686.
link(45,46) :- #0.498.
link(46,45) :- #0.174.
link(45,59) :- #0.526.
link(59,45) :- #0.013.
link(45,66) :- #0.024.
link(66,45) :- #0.297.
link(45,67) :- #0.257.
link(67,45) :- #0.675.
link(45,99) :- #0.781.
link(99,45) :- #0.444.
link(45,114) :- #0.959.
link(114,45) :- #0.681.
link(45,123) :- #0.005.
link(123,45) :- #0.555.
link(45,125) :- #0.206.
link(125,45) :- #0.209.
link(46,51) :- #0.737.
link(51,46) :- #0.517.
link(46,53) :- #0.437.
link(53,46) :- #0.616.
link(46,59) :- #0.265.
link(59,46) :- #0.8.
link(46,64) :- #0.488.
link(64,46) :- #0.615.
link(46,66) :- #0.971.
link(66,46) :- #0.49.
link(46,69) :- #0.503.
link(69,46) :- #0.954.
link(46,71) :- #0.759.
link(71,46) :- #0.037.
link(46,83) :- #0.061.
link(83,46) :- #0.91.
link(46,103) :- #0.597.
link(103,46) :- #0.085.
link(46,107) :- #0.985.
link(107,46) :- #0.723.
link(46,118) :- #0.512.
link(118,46) :- #0.831.
link(47,78) :- #0.442.
link(78,47) :- #0.999.
link(47,80) :- #0.555.
link(80,47) :- #0.72.
link(47,91) :- #0.14.
link(91,47) :- #0.45.
link(47,96) :- #0.858.
link(96,47) :- #0.225.
link(47,124) :- #0.024.
link(124,47) :- #0.363.
link(48,51) :- #0.152.
link(51,48) :- #0.477.
link(48,52) :- #0.95.
link(52,48) :- #0.814.
link(48,60) :- #0.095.
link(60,48) :- #0.776.
link(48,70) :- #0.908.
link(70,48) :- #0.181.
link(48,82) :- #0.979.
link(82,48) :- #0.177.
link(48,95) :- #0.319.
link(95,48) :- #0.32.
link(48,108) :- #0.935.
link(108,48) :- #0.508.
link(48,113) :- #0.248.
link(113,48) :- #0.254.
link(48,119) :- #0.498.
link(119,48) :- #0.126.
link(48,122) :- #0.695.
link(122,48) :- #0.3.
link(49,64) :- #0.311.
link(64,49) :- #0.435.
link(49,72) :- #0.107.
link(72,49) :- #0.589.
link(49,86) :- #0.157.
link(86,49) :- #0.733.
link(49,97) :- #0.091.
link(97,49) :- #0.395.
link(49,119) :- #0.286.
link(119,49) :- #0.982.
link(49,122) :- #0.913.
link(122,49) :- #0.015.
link(50,55) :- #0.826.
link(55,50) :- #0.147.
link(50,63) :- #0.556.
link(63,50) :- #0.096.
link(50,72) :- #0.779.
link(72,50) :- #0.055.
link(50,94) :- #0.943.
link(94,50) :- #0.721.
link(50,118) :- #0.741.
link(118,50) :- #0.218.
link(50,122) :- #0.897.
link(122,50) :- #0.849.
link(51,53) :- #0.843.
link(53,51) :- #0.753.
link(51,63) :- #0.692.
link(63,51) :- #0.211.
link(51,72) :- #0.891.
link(72,51) :- #0.629.
link(51,83) :- #0.869.
link(83,51) :- #0.668.
link(51,91) :- #0.996.
link(91,51) :- #0.68.
link(51,125) :- #0.586.
link(125,51) :- #0.739.
link(52,62) :- #0.963.
link(62,52) :- #0.774.
link(52,63) :- #0.081.
link(63,52) :- #0.225.
link(52,96) :- #0.937.
link(96,52) :- #0.644.
link(52,117) :- #0.276.
link(117,52) :- #0.941.
link(52,118) :- #0.557.
link(118,52) :- #0.005.
link(53,58) :- #0.617.
link(58,53) :- #0.89.
link(53,59) :- #0.582.
link(59,53) :- #0.048.
link(53,65) :- #0.661.
link(65,53) :- #0.05.
link(53,69) :- #0.359.
link(69,53) :- #0.233.
link(53,77) :- #0.711.
link(77,53) :- #0.256.
link(53,84) :- #0.959.
link(84,53) :- #0.655.
link(53,88) :- #0.855.
link(88,53) :- #0.751.
link(53,92) :- #0.345.
link(92,53) :- #0.434.
link(53,96) :- #0.876.
link(96,53) :- #0.268.
link(53,100) :- #0.953.
link(100,53) :- #0.515.
link(53,109) :- #0.564.
link(109,53) :- #0.494.
link(54,57) :- #0.933.
link(57,54) :- #0.538.
link(54,59) :- #0.529.
link(59,54) :- #0.194.
link(54,94) :- #0.289.
link(94,54) :- #0.769.
link(55,56) :- #0.704.
link(56,55) :- #0.818.
link(55,93) :- #0.149.
link(93,55) :- #0.338.
link(55,106) :- #0.544.
link(106,55) :- #0.342.
link(55,113) :- #0.409.
link(113,55) :- #0.706.
link(55,118) :- #0.661.
link(118,55) :- #0.026.
link(56,60) :- #0.541.
link(60,56) :- #0.501.
link(56,82) :- #0.122.
link(82,56) :- #0.561.
link(56,87) :- #0.106.
link(87,56) :- #0.954.
link(56,98) :- #0.26.
link(98,56) :- #0.409.
link(56,102) :- #0.561.
link(102,56) :- #0.519.
link(56,105) :- #0.039.
link(105,56) :- #0.347.
link(56,107) :- #0.874.
link(107,56) :- #0.895.
link(56,120) :- #0.407.
link(120,56) :- #0.011.
link(57,70) :- #0.572.
link(70,57) :- #0.436.
link(57,72) :- #0.645.
link(72,57) :- #0.538.
link(57,85) :- #0.928.
link(85,57) :- #0.466.
link(57,89) :- #0.344.
link(89,57) :- #0.866.
link(57,94) :- #0.476.
link(94,57) :- #0.5.
link(57,99) :- #0.936.
link(99,57) :- #0.434.
link(57,105) :- #0.777.
link(105,57) :- #0.307.
link(57,125) :- #0.646.
link(125,57) :- #0.522.
link(58,60) :- #0.198.
link(60,58) :- #0.448.
link(58,62) :- #0.67.
link(62,58) :- #0.416.
link(58,72) :- #0.023.
link(72,58) :- #0.783.
link(58,80) :- #0.416.
link(80,58) :- #0.616.
link(58,82) :- #0.888.
link(82,58) :- #0.018.
link(58,83) :- #0.741.
link(83,58) :- #0.028.
link(58,86) :- #0.821.
link(86,58) :- #0.844.
link(58,91) :- #0.603.
link(91,58) :- #0.261.
link(58,93) :- #0.777.
link(93,58) :- #0.407.
link(58,105) :- #0.002.
link(105,58) :- #0.815.
link(58,120) :- #0.024.
link(120,58) :- #0.783.
link(59,76) :- #0.009.
link(76,59) :- #0.976.
link(59,78) :- #0.079.
link(78,59) :- #0.81.
link(59,96) :- #0.27.
link(96,59) :- #0.137.
link(59,121) :- #0.608.
link(121,59) :- #0.929.
link(60,64) :- #0.36.
link(64,60) :- #0.987.
link(60,66) :- #0.175.
link(66,60) :- #0.907.
link(60,70) :- #0.543.
link(70,60) :- #0.594.
link(60,77) :- #0.385.
link(77,60) :- #0.015.
link(60,84) :- #0.738.
link(84,60) :- #0.736.
link(60,86) :- #0.607.
link(86,60) :- #0.118.
link(60,100) :- #0.325.
link(100,60) :- #0.669.
link(60,101) :- #0.384.
link(101,60) :- #0.466.
link(60,103) :- #0.811.
link(103,60) :- #0.582.
link(60,113) :- #0.085.
link(113,60) :- #0.733.
link(60,115) :- #0.527.
link(115,60) :- #0.666.
link(60,116) :- #0.524.
link(116,60) :- #0.144.
link(60,119) :- #0.527.
link(119,60) :- #0.795.
link(60,122) :- #0.772.
link(122,60) :- #0.568.
link(61,69) :- #0.641.
link(69,61) :- #0.095.
link(61,89) :- #0.365.
link(89,61) :- #0.12.
link(61,94) :- #0.384.
link(94,61) :- #0.117.
link(61,109) :- #0.631.
link(109,61) :- #0.623.
link(61,115) :- #0.723.
link(115,61) :- #0.138.
link(61,119) :- #0.783.
link(119,61) :- #0.935.
link(61,120) :- #0.948.
link(120,61) :- #0.334.
link(62,73) :- #0.493.
link(73,62) :- #0.328.
link(62,92) :- #0.296.
link(92,62) :- #0.999.
link(62,98) :- #0.413.
link(98,62) :- #0.396.
link(63,68) :- #0.033.
link(68,63) :- #0.58.
link(63,83) :- #0.809.
link(83,63) :- #0.365.
link(63,86) :- #0.42.
link(86,63) :- #0.481.
link(63,99) :- #0.549.
link(99,63) :- #0.368.
link(63,114) :- #0.823.
link(114,63) :- #0.296.
link(63,115) :- #0.767.
link(115,63) :- #0.711.
link(63,122) :- #0.052.
link(122,63) :- #0.349.
link(63,124) :- #0.014.
link(124,63) :- #0.25.
link(64,83) :- #0.294.
link(83,64) :- #0.107.
link(64,87) :- #0.566.
link(87,64) :- #0.511.
link(64,90) :- #0.299.
link(90,64) :- #0.668.
link(64,92) :- #0.165.
link(92,64) :- #0.723.
link(64,116) :- #0.469.
link(116,64) :- #0.165.
link(64,124) :- #0.136.
link(124,64) :- #0.633.
link(65,66) :- #0.327.
link(66,65) :- #0.55.
link(65,68) :- #0.836.
link(68,65) :- #0.184.
link(65,75) :- #0.391.
link(75,65) :- #0.876.
link(65,82) :- #0.573.
link(82,65) :- #0.243.
link(65,88) :- #0.497.
link(88,65) :- #0.47.
link(65,93) :- #0.493.
link(93,65) :- #0.749.
link(65,101) :- #0.247.
link(101,65) :- #0.311.
link(65,123) :- #0.831.
link(123,65) :- #0.584.
link(66,76) :- #0.758.
link(76,66) :- #0.592.
link(66,77) :- #0.318.
link(77,66) :- #0.066.
link(66,88) :- #0.692.
link(88,66) :- #0.018.
link(66,101) :- #0.986.
link(101,66) :- #0.174.
link(66,110) :- #0.469.
link(110,66) :- #0.351.
link(66,111) :- #0.225.
link(111,66) :- #0.25.
link(66,114) :- #0.301.
link(114,66) :- #0.386.
link(66,120) :- #0.539.
link(120,66) :- #0.025.
link(66,121) :- #0.564.
link(121,66) :- #0.868.
link(66,122) :- #0.057.
link(122,66) :- #0.136.
link(66,125) :- #0.018.
link(125,66) :- #0.2.
link(67,70) :- #0.744.
link(70,67) :- #0.128.
link(67,74) :- #0.464.
link(74,67) :- #0.656.
link(67,101) :- #0.335.
link(101,67) :- #0.697.
link(67,107) :- #0.631.
link(107,67) :- #0.546.
link(68,83) :- #0.944.
link(83,68) :- #0.359.
link(68,104) :- #0.16.
link(104,68) :- #0.464.
link(69,74) :- #0.964.
link(74,69) :- #0.928.
link(69,77) :- #0.583.
link(77,69) :- #0.729.
link(69,97) :- #0.22.
link(97,69) :- #0.169.
link(70,73) :- #0.707.
link(73,70) :- #0.031.
link(70,89) :- #0.254.
link(89,70) :- #0.699.
link(70,98) :- #0.897.
link(98,70) :- #0.487.
link(70,111) :- #0.484.
link(111,70) :- #0.913.
link(71,73) :- #0.732.
link(73,71) :- #0.008.
link(71,85) :- #0.437.
link(85,71) :- #0.08.
link(71,107) :- #0.571.
link(107,71) :- #0.336.
link(71,114) :- #0.252.
link(114,71) :- #0.433.
link(71,116) :- #0.613.
link(116,71) :- #0.268.
link(71,118) :- #0.657.
link(118,71) :- #0.453.
link(72,84) :- #0.596.
link(84,72) :- #0.56.
link(72,94) :- #0.994.
link(94,72) :- #0.56.
link(72,113) :- #0.742.
link(113,72) :- #0.373.
link(72,115) :- #0.028.
link(115,72) :- #0.244.
link(72,118) :- #0.638.
link(118,72) :- #0.993.
link(72,124) :- #0.877.
link(124,72) :- #0.529.
link(73,79) :- #0.614.
link(79,73) :- #0.015.
link(73,81) :- #0.953.
link(81,73) :- #0.495.
link(73,90) :- #0.515.
link(90,73) :- #0.455.
link(73,91) :- #0.165.
link(91,73) :- #0.912.
link(73,96) :- #0.539.
link(96,73) :- #0.818.
link(73,97) :- #0.358.
link(97,73) :- #0.588.
link(73,117) :- #0.844.
link(117,73) :- #0.412.
link(73,123) :- #0.307.
link(123,73) :- #0.561.
link(73,125) :- #0.441.
link(125,73) :- #0.046.
link(74,82) :- #0.866.
link(82,74) :- #0.37.
link(74,90) :- #0.586.
link(90,74) :- #0.225.
link(74,115) :- #0.982.
link(115,74) :- #0.237.
link(75,84) :- #0.572.
link(84,75) :- #0.366.
link(76,85) :- #0.256.
link(85,76) :- #0.591.
link(76,123) :- #0.796.
link(123,76) :- #0.089.
link(77,83) :- #0.947.
link(83,77) :- #0.042.
link(77,95) :- #0.933.
link(95,77) :- #0.026.
link(77,100) :- #0.694.
link(100,77) :- #0.057.
link(77,104) :- #0.564.
link(104,77) :- #0.643.
link(77,106) :- #0.592.
link(106,77) :- #0.511.
link(77,107) :- #0.883.
link(107,77) :- #0.507.
link(77,108) :- #0.365.
link(108,77) :- #0.126.
link(77,109) :- #0.005.
link(109,77) :- #0.036.
link(77,116) :- #0.513.
link(116,77) :- #0.246.
link(78,96) :- #0.703.
link(96,78) :- #0.964.
link(78,107) :- #0.128.
link(107,78) :- #0.253.
link(79,108) :- #0.145.
link(108,79) :- #0.148.
link(79,109) :- #0.246.
link(109,79) :- #0.26.
link(80,82) :- #0.847.
link(82,80) :- #0.519.
link(80,84) :- #0.7.
link(84,80) :- #0.031.
link(80,101) :- #0.749.
link(101,80) :- #0.569.
link(80,110) :- #0.547.
link(110,80) :- #0.778.
link(81,84) :- #0.256.
link(84,81) :- #0.808.
link(81,90) :- #0.741.
link(90,81) :- #0.86.
link(81,98) :- #0.439.
link(98,81) :- #0.882.
link(81,101) :- #0.267.
link(101,81) :- #0.117.
link(81,104) :- #0.366.
link(104,81) :- #0.995.
link(81,108) :- #0.899.
link(108,81) :- #0.659.
link(82,96) :- #0.941.
link(96,82) :- #0.784.
link(82,102) :- #0.875.
link(102,82) :- #0.395.
link(82,109) :- #0.38.
link(109,82) :- #0.849.
link(82,121) :- #0.502.
link(121,82) :- #0.274.
link(83,101) :- #0.935.
link(101,83) :- #0.578.
link(83,106) :- #0.208.
link(106,83) :- #0.237.
link(83,115) :- #0.982.
link(115,83) :- #0.373.
link(85,103) :- #0.161.
link(103,85) :- #0.117.
link(85,111) :- #0.782.
link(111,85) :- #0.608.
link(85,112) :- #0.818.
link(112,85) :- #0.373.
link(86,109) :- #0.894.
link(109,86) :- #0.9.
link(86,123) :- #0.935.
link(123,86) :- #0.321.
link(87,92) :- #0.344.
link(92,87) :- #0.299.
link(87,96) :- #0.625.
link(96,87) :- #0.986.
link(87,105) :- #0.595.
link(105,87) :- #0.553.
link(87,113) :- #0.097.
link(113,87) :- #0.181.
link(87,116) :- #0.218.
link(116,87) :- #0.535.
link(88,109) :- #0.2.
link(109,88) :- #0.939.
link(88,115) :- #0.085.
link(115,88) :- #0.425.
link(88,120) :- #0.788.
link(120,88) :- #0.948.
link(88,125) :- #0.987.
link(125,88) :- #0.277.
link(89,94) :- #0.143.
link(94,89) :- #0.573.
link(89,102) :- #0.765.
link(102,89) :- #0.902.
link(89,105) :- #0.988.
link(105,89) :- #0.09.
link(89,122) :- #0.471.
link(122,89) :- #0.45.
link(90,92) :- #0.455.
link(92,90) :- #0.571.
link(90,111) :- #0.424.
link(111,90) :- #0.064.
link(91,102) :- #0.322.
link(102,91) :- #0.996.
link(91,122) :- #0.596.
link(122,91) :- #0.368.
link(91,124) :- #0.746.
link(124,91) :- #0.521.
link(92,93) :- #0.795.
link(93,92) :- #0.225.
link(92,95) :- #0.192.
link(95,92) :- #0.707.
link(92,119) :- #0.155.
link(119,92) :- #0.148.
link(92,121) :- #0.39.
link(121,92) :- #0.184.
link(92,124) :- #0.381.
link(124,92) :- #0.255.
link(93,116) :- #0.579.
link(116,93) :- #0.679.
link(94,123) :- #0.694.
link(123,94) :- #0.864.
link(95,111) :- #0.458.
link(111,95) :- #0.148.
link(95,121) :- #0.049.
link(121,95) :- #0.514.
link(95,124) :- #0.687.
link(124,95) :- #0.769.
link(96,119) :- #0.758.
link(119,96) :- #0.446.
link(97,98) :- #0.39.
link(98,97) :- #0.509.
link(97,116) :- #0.423.
link(116,97) :- #0.873.
link(97,120) :- #0.254.
link(120,97) :- #0.594.
link(97,124) :- #0.933.
link(124,97) :- #0.678.
link(97,125) :- #0.843.
link(125,97) :- #0.461.
link(98,107) :- #0.221.
link(107,98) :- #0.537.
link(98,108) :- #0.98.
link(108,98) :- #0.186.
link(98,109) :- #0.507.
link(109,98) :- #0.995.
link(98,110) :- #0.136.
link(110,98) :- #0.168.
link(98,120) :- #0.539.
link(120,98) :- #0.103.
link(99,104) :- #0.019.
link(104,99) :- #0.37.
link(100,109) :- #0.044.
link(109,100) :- #0.14.
link(100,110) :- #0.004.
link(110,100) :- #0.128.
link(101,113) :- #0.502.
link(113,101) :- #0.592.
link(101,114) :- #0.882.
link(114,101) :- #0.629.
link(101,117) :- #0.875.
link(117,101) :- #0.197.
link(101,119) :- #0.118.
link(119,101) :- #0.269.
link(102,109) :- #0.86.
link(109,102) :- #0.964.
link(102,111) :- #0.432.
link(111,102) :- #0.307.
link(104,107) :- #0.293.
link(107,104) :- #0.928.
link(104,125) :- #0.005.
link(125,104) :- #0.438.
link(105,113) :- #0.865.
link(113,105) :- #0.988.
link(105,123) :- #0.878.
link(123,105) :- #0.867.
link(106,122) :- #0.267.
link(122,106) :- #0.833.
link(107,111) :- #0.504.
link(111,107) :- #0.521.
link(107,116) :- #0.212.
link(116,107) :- #0.198.
link(107,117) :- #0.77.
link(117,107) :- #0.596.
link(107,120) :- #0.581.
link(120,107) :- #0.872.
link(107,121) :- #0.891.
link(121,107) :- #0.405.
link(107,123) :- #0.906.
link(123,107) :- #0.066.
link(108,119) :- #0.091.
link(119,108) :- #0.577.
link(108,124) :- #0.639.
link(124,108) :- #0.294.
link(110,115) :- #0.165.
link(115,110) :- #0.175.
link(110,118) :- #0.681.
link(118,110) :- #0.446.
link(110,125) :- #0.421.
link(125,110) :- #0.964.
link(111,118) :- #0.592.
link(118,111) :- #0.639.
link(112,124) :- #0.727.
link(124,112) :- #0.425.
link(113,115) :- #0.972.
link(115,113) :- #0.831.
link(114,120) :- #0.06.
link(120,114) :- #0.608.
link(118,121) :- #0.079.
link(121,118) :- #0.535.
link(119,123) :- #0.907.
link(123,119) :- #0.326.
link(120,125) :- #0.535.
link(125,120) :- #0.915.
link(121,125) :- #0.686.
link(125,121) :- #0.856.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
